echo high(int)
echo high(int32)
echo high(int8)